وبلاگ سهراب جلوه گر جلوه‌گر؛ هوش مصنوعی

██ چکیده‌ی مطلب‌های فصل دهم نسخه‌ی پولی ایبوک هوش مصنوعی ██

مترجم: سهراب جلوه گر جلوه‌گر

چکیده‌ی مطلب‌های فصل دهم- منطق گزاره‌ای

منطق‌، یک زبان قراردادی است که دارای ظاهر(گرامر) و معنا(سمانتیک) می‌باشد‌؛ ظاهر می‌گوید که چه عبارت‌هایی مُجازند‌و معنا‌ مشخّص می‌نماید که یک عبارت، در چه موقعی درست یا در چه موقعی غلط(نادرست) می‌باشد.

از منطق می‌توانیم برای بیان دانش عامل استفاده نماییم.

استنباط‌، به ما امکان استنتاج را می‌دهد‌.

مدل‌، نسبت دادن درست یا غلط به هر عبارت اتمیک(‌تجزیّه ناپذیر‌) است‌.

یک فرمول‌، به صورت CNF است، اگر به صورت A₁ Ù A₂ Ù‌.‌.‌.A_k باشد؛ که A_i‌، تشکیل شده از یای(OR) گزاره‌ها یا نقیض آنها‌.

صورت‌های نرمال‌، مثل CNF، با آنچه که قبل از نرمال کردن بودند‌، فرقی ندارند و تفاوت آنها در ظاهر آنهاست و برای استدلال‌، مناسب‌ترند‌.

هر عبارت منطق گزاره‌ای می‌تواند به فرم نرمال ربط دهنده‌ تبدیل شود‌.

عبارت‌های هرن، عبارت‌هایی «یایی» هستند که در آنها حدّاکثر یک لیترال مثبت وجود دارد.

عبارت‌های صریح، عبارت‌هایی «یایی» هستند که در آنها دقیقاً یک لیترال مثبت وجود دارد.

به‌طور‌کلّی‌، متدهای اثبات به دو دسته‌ي «استفاده از قوانین استنتاج» و «برّرسی مدل» تقسیم می‌شوند.

در زنجیره‌ی پیشرو(مستقیم)، با جمله‌های اتمیک(واقعیّات، حقایق) موجود در پایگاه دانش شروع کنید و از قیاس استثنائی، به سمت جلو، با اضافه کردن جمله‌های اتمیک جدید استفاده کنید، تا اینکه استنتاج‌های بیش‌تر جدید، ممکن نباشند.؛ به بیان دیگر، هر قانونی که مقدّم‌هایش در پایگاه دانش برآورده می‌شوند را اجرا کن و تالیش را به پایگاه دانش اضافه کن و این کار را تا زمانی که پرسش پیدا شود، ادامه بده.

زنجیره‌ی پیشرو، برای پایگاه دانش هرن، صحیح و کامل است.

در زنجیره‌ی پسرو(معکوس)، از هدف، به طرف عقب، حرکت کنید تا به جمله‌های اتمیک(واقعیّات، حقایق)ی برسید که از اثبات پشتیبانی می‌کنند.

قانون تحلیل پایه، به صورت (AÚB)Ù(ØBÚC)Þ(AÚC) است.

در موقع تحلیل‌ باید پایگاه دانش ما به صورت CNF باشد.

روال‌های استنتاج براساس تحلیل، با استفاده از اصل اثبات به وسیله‌ی تناقض کار می‌کنند؛ برای نشان دادن اینکه KB|=a، نشان می‌دهیم که (KB ÙØa) قابل برآورده‌سازی نمی‌باشد.توا÷÷تاتت